home *** CD-ROM | disk | FTP | other *** search
Text File | 1993-05-08 | 2.0 KB | 52 lines | [TEXT/MPS ] |
- # This suggestion should fix a problem with the ' character if your TeX
- # fails to find some fonts.
- # Again, I haven't tried this. (me==Fred Walsteijn)
-
-
-
- From girou@hubble.circe.fr Mon May 3 12:36:36 1993
- Received: from hubble.circe.fr by ruunfs.fys.ruu.nl with SMTP id AA09797
- (5.65b+/IDA-1.4.3 for walsteyn); Mon, 3 May 93 12:36:19 +0200
- Received: by hubble.circe.fr (AIX 3.2/UCB 5.64/4.03)
- id AA31473; Mon, 3 May 1993 12:33:57 +0200
- Date: Mon, 3 May 1993 12:33:57 +0200
- From: girou@circe.fr (Denis Girou)
- Message-Id: <9305031033.AA31473@hubble.circe.fr>
- To: Fred Walsteijn <walsteyn@fys.ruu.nl>
- Subject: Re: lgrind
- Status: OR
-
-
- Fred,
-
- My colleague explain to me what the real problem is.
-
- It's when the ss or tt font doesn't exist
- LaTeX Warning: No \tt typeface in this size, using \rm on input line 4.
- LaTeX Warning: No \sf typeface in this size, using \rm on input line 4.
-
- lgrind change the ' character (oblique quote) to the \' character (non oblique
- quote), which look better for the typography of a program. But the \'
- character work well in tt but is the fl ligature in rm (I don't remember in
- sf). So it's explain why we obtain the fl sequence!
-
- The solution in these cases is to manually (or by a script) change the \'
- sequence in ' or to change the lgrind.c source to have always a ' character
- (look not so good but work always: I choose to do that).
-
- /*$ Modification Denis GIROU (CNRS/CIRCE - France) <girou@circe.fr> - 3 May. 1993 $*/
- /*$" ", "!", "\\\"", "\\#", "\\$", "\\%", "\\&", "\\'",$*/
- " ", "!", "\\\"", "\\#", "\\$", "\\%", "\\&", "'",
-
- Thanks for your help, Fred!
-
- --
-
- -----------------------------------------------------------
- Denis Girou (Centre National de la Recherche Scientifique |
- Centre InterRegional de Calcul Electronique) |
- Batiment 506 - B.P. 167 - 91403 Orsay Cedex - France |
- E-mail : girou@circe.fr - Tel. : 33. 1. 69.82.41.52 |
- -----------------------------------------------------------
-
-